Gender Issues in my Work

[Gender issues in safety and health at work - A review].

Themes in My Philosophical Work

This paper is an overview of my philosophical work. It follows closely the structure of the handout I used as the basis for a talk on this topic at the 2000 meeting of the Austro-Slovene Philosophical Association. The section-headings mention major themes, and various key concepts are indicated by boldface terms in the text. I invoked the notion of supervenience in my doctoral dissertation, Mic...

Description of My Previous Work

Today, advanced technological products often employ information and communication technology to enhance their functionality and quality. Therefore, nowadays software plays an important role in the control of many technical systems such as electrical and mechanical devices, technical processes in the chemical industry, or a modern automobile. In the future, software-intensive systems are in addi...

My Current Work on CertiKOS

My research goal is to make critical software systems truly reliable and secure through formal verification. As the backbone of modern software systems, operating system (OS) kernels have great impacts on the reliability and security of today’s computing hosts. OS kernels, however, are complicated, highly concurrent, and prone to bugs. For the past several years, my research has focused on inve...

Implementing Gender Issues in ICT

The rapid technological changes caused by ICT have a strong impact on global societies. This will lead to changes in the traditional role patterns. In this paper we focus on an academic master course to create gender awareness in ICT development with a special emphasis on developing countries. First we analyze the impact of ICT on society, and derive requirements from society on the introductio...